The existential imperative in narrating experience
نویسندگان
چکیده
منابع مشابه
Existential Types for Imperative Languages
We integrate existential types into a strongly typed C-like language. In particular, we show how a bad combination of existential types, mutation, and aliasing can cause a subtle violation of type safety. We explore two independent ways to strengthen the type system to restore safety. One restricts the mutation of existential packages. The other restricts the types of aliases of existential pac...
متن کاملExistential Types for Imperative Languages: Technical Results
This technical report contains the full type-safety proof for the language presented in the paper Existential Types for Imperative Languages, originally submitted for publication in October 2001. Because this report should be read only after the paper, effectively as an appendix, we do not repeat the motivation, examples, and informal presentation contained there. Also refer to the paper for re...
متن کاملPattern Matching via Choice Existential Quantifications in Imperative Languages
Selection statements – if-then-else, switch and try-catch – are commonly used in modern imperative programming languages. We propose another selection statement called a choice existentially quantified statement. This statement turns out to be quite useful for pattern matching among several merits. Examples will be provided for this statement. keywords: selection, pattern matching, choice quant...
متن کاملNarrating emotional events in schizophrenia.
Research has indicated that schizophrenia patients report similar amounts of experienced emotion in response to emotional material compared with nonpatients. However, less is known about how schizophrenia patients describe and make sense of their emotional life events. We adopted a narrative approach to investigate schizophrenia patients' renderings of their emotional life experiences. In Study...
متن کاملNarrating the self-injured body
Illness narratives have traditionally been used as a conceptual tool for exploring experiences of chronic illness or disease. In this paper, I suggest that Frank's typology of illness narratives (chaos, restitution and quest) also offers an illuminating approach to analysing accounts of self-injury, demonstrating the diverse ways in which self-injury is practiced, experienced and narrated. Draw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: COMPASS
سال: 2011
ISSN: 2371-6096
DOI: 10.29173/comp36